var searchData=
[
  ['edgecoverwithmaxcliques_2eh',['EdgeCoverWithMaxCliques.h',['../EdgeCoverWithMaxCliques_8h.html',1,'']]],
  ['exactcliquelifter_2ecpp',['ExactCliqueLifter.cpp',['../ExactCliqueLifter_8cpp.html',1,'']]],
  ['exactcliquelifter_2eh',['ExactCliqueLifter.h',['../ExactCliqueLifter_8h.html',1,'']]]
];
